Sequential products in effect categories
نویسندگان
چکیده
A new categorical framework is provided for dealing with multiple arguments in a programming language with effects, for example in a language with imperative features. Like related frameworks (Monads,Arrows, Freyd categories), we distinguish two kinds of functions. In addition, we also distinguish two kinds of equations. Then, we are able to define a kind of product, that generalizes the usual categorical product. This yields a powerful tool for deriving many results about languages with effects.
منابع مشابه
Cartesian effect categories are Freyd-categories
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the order of evaluation of arguments, which may have major consequences when there are side-effects. In this paper Cartesian effect categories are introduced for solving this issue, and they are compared with strong monads,...
متن کاملA Product Design-Driven Approach to Managing Rapid Sequential Innovation
Global competition and major technological advances cause substantial performance improvements in many product categories including consumer electronics, computers and software. Rapid sequential innovation refers to the situation when firms launch a sequence of products in time whose performance quality improves not only in absolute terms but also in discounted terms from the perspective of cus...
متن کاملUniqueness and Order in Sequential Effect Algebras
A sequential effect algebra (SEA) is an effect algebra on which a sequential product is defined. We present examples of effect algebras that admit a unique, many and no sequential product. Some general theorems concerning unique sequential products are proved. We discuss sequentially ordered SEA’s in which the order is completely determined by the sequential product. It is demonstrated that int...
متن کاملSequential Effects in Judgements of Attractiveness: The Influences of Face Race and Sex
In perceptual decision-making, a person's response on a given trial is influenced by their response on the immediately preceding trial. This sequential effect was initially demonstrated in psychophysical tasks, but has now been found in more complex, real-world judgements. The similarity of the current and previous stimuli determines the nature of the effect, with more similar items producing a...
متن کاملSequential Pattern Mining : Survey and Current Research Challenges
185 Abstract— The concept of sequence Data Mining was first introduced by Rakesh Agrawal and Ramakrishnan Srikant in the year 1995. The problem was first introduced in the context of market analysis. It aimed to retrieve frequent patterns in the sequences of products purchased by customers through time ordered transactions. Later on its application was extended to complex applications like tele...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0707.1432 شماره
صفحات -
تاریخ انتشار 2007